Myla Archer: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 13th ACM conference - Alexandria, Virginia, USA (2006.10.30-2006.11.03)] Proceedings of the 13th ACM conference on Computer and communications security - CCS '06 - Formal specification and verification of data separation in a separation kernel for an embedded system

Heitmeyer, Constance L., Archer, Myla, Leonard, Elizabeth I., McLean, John

Year:

2006

Language:

english

File:

PDF, 279 KB

english, 2006

2

Towards a transformational approach to program verification

Myla Archer, Amy Lo, Ronald A. Olsson

Journal:

Software Testing, Verification and Reliability

Year:

1999

Language:

english

File:

PDF, 182 KB

english, 1999

3

Preface

Myla Archer, Thierry Boy de la Tour, César Muñoz

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 97 KB

english, 2007

4

PVS Strategies for Proving Abstraction Properties of Automata

Sayan Mitra, Myla Archer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 481 KB

english, 2005

5

Specifying and proving properties of timed I/O automata using Tempo

Myla Archer, Hongping Lim, Nancy Lynch, Sayan Mitra, Shinya Umeno

Journal:

Design Automation for Embedded Systems

Year:

2008

Language:

english

File:

PDF, 3.65 MB

english, 2008

6

Model-based construction and verification of critical systems using composition and partial refinement

Ralph D. Jeffords, Constance L. Heitmeyer, Myla M. Archer, Elizabeth I. Leonard

Journal:

Formal Methods in System Design

Year:

2010

Language:

english

File:

PDF, 1.13 MB

english, 2010

7

Translation Templates to Support Strategy Development in PVS

Hongping Lim, Myla Archer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 406 KB

english, 2007

8

Proving Invariants of I/O Automata with TAME

Myla Archer, Constance Heitmeyer, Elvinia Riccobene

Journal:

Automated Software Engineering

Year:

2002

Language:

english

File:

PDF, 347 KB

english, 2002

9

TAME: Using PVS strategies for special-purpose theorem proving

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2000

Language:

english

File:

PDF, 379 KB

english, 2000

10

[IEEE 2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012) - Arlington, VA, USA (2012.07.16-2012.07.17)] Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) - Direct generation of invariants for reactive models

Leonard, Elizabeth I., Archer, Myla M., Heitmeyer, Constance L., Jeffords, Ralph D.

Year:

2012

Language:

english

File:

PDF, 410 KB

english, 2012

11

[IEEE 15th IEEE International Requirements Engineering Conference (RE 2007) - Delhi, India (2007.10.15-2007.10.19)] 15th IEEE International Requirements Engineering Conference (RE 2007) - RE Theory Meets Software Practice: Lessons from the Software Development Trenches

Heitmeyer, Constance, Jeffords, Ralph, Bharadwaj, Ramesh, Archer, Myla

Year:

2007

Language:

english

File:

PDF, 513 KB

english, 2007

12

Building high assurance human-centric decision systems

Heitmeyer, Constance L., Pickett, Marc, Leonard, Elizabeth I., Archer, Myla M., Ray, Indrakshi, Aha, David W., Trafton, J. Gregory

Journal:

Automated Software Engineering

Year:

2015

Language:

english

File:

PDF, 1.56 MB

english, 2015

13

[ACM Press the third workshop - Portland, Oregon, United States (2000..-..)] Proceedings of the third workshop on Formal methods in software practice - FMSP '00 - Using TAME to prove invariants of automata models

Archer, Myla, Heitmeyer, Constance, Riccobene, Elvinia

Year:

2000

Language:

english

File:

PDF, 643 KB

english, 2000

14

[ACM Press the 15th ACM-IEEE International Conference - Vienna, Austria (2017.09.29-2017.10.02)] Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 - Property templates for checking source code security

Leonard, Elizabeth I., Archer, Myla M., Heitmeyer, Constance L.

Year:

2017

Language:

english

File:

PDF, 178 KB

english, 2017

15

[ACM Press the 15th ACM-IEEE International Conference - Vienna, Austria (2017.09.29-2017.10.02)] Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 - Property templates for checking source code security

Leonard, Elizabeth I., Archer, Myla M., Heitmeyer, Constance L.

Year:

2017

File:

PDF, 178 KB

2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски